Graph Nodes:
X8;X7;X10;X3;X1;X11;X4;X13;X12;X6

Graph Edges:
1. X8 o-o X7
2. X8 o-> X13
3. X7 o-o X3
4. X7 o-> X13
5. X10 <-> X3
6. X10 <-> X12
7. X6 o-> X10
8. X3 <-> X1
9. X3 --> X11
10. X3 o-> X6
11. X1 <-> X13
12. X1 <-> X6
13. X4 o-> X6
14. X13 <-> X12
